Buy Used and New Edmund M. Clarke Books

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings: 531 (Lecture Notes in Computer Science)

by Edmund M. Clarke,Robert P. Kurshan

ISBN 13: 9783540544777

Format: Illustrated (392 pages)
Publisher: Springer
Published: 02 Oct 1991

Save for later